package org.jbpt.petri.unfolding.order;

/**
 * Types of adequate orders for constructing branching processes supported by jBPT.
 * 
 * @author Artem Polyvyanyy
 */
public enum AdequateOrderType {
	UNFOLDING,
	MCMILLAN,
	ESPARZA_FOR_SAFE_SYSTEMS,
	ESPARZA_FOR_ARBITRARY_SYSTEMS,
	UNDEFINED
}
